|
|
Computer aided verification : 22nd international conference, Cav 2010, Edinburgh, UK, July 15-19, 2010, proceedings / , 22nd International Conference, Cav 2010, Edinburgh, UK, July 15-19, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. xvi, 676 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of computer software : , future trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, revised selected papers /
Publication:
Berline : Springer, 2010
. viii, 274 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Requirements engineering : , foundation for software quality : 16th International Working Conference, Refsq 2010, Essen, Germany, June 30-July 2, 2010. proceeding /
Publication:
Berlin : Springer, 2010
. xi, 280 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Abstract state machines, Alloy, B And Z : , Second International Conference, ABZ 2010 Orford, QC, Canada, February 22-25, 2010 : Proceedings /
Publication:
Berlin : Springer, 2010
. xiv, 416 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(2),
|
|
|
Model driven development of advanced user interfaces /
Publication:
Berlin : Springer, 2011
. xix, 302 p. :
Date:2011
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Access networks : , 4th International Conference, AccesNets 2009, Hong Kong, November 1-3, 2009, revised selected papers /
Publication:
Berlin : Springer, 2010
. ix, 275 p.
Date:2010
Availability:
Copies available:
AUM Main Library
(2),
|
|
|
Bioinformatics Research and Applications
by Chen, Jianer.
Publication:
. XIV, 454p.
Availability:
Copies available:
AUM Main Library
(1),
|
|